dc4bd023c326f1e8a62473551573e12db3145550,findbugs/src/java/edu/umd/cs/findbugs/ba/ResourceValueAnalysis.java,ResourceValueAnalysis,meetInto,#ResourceValueFrame#Edge#ResourceValueFrame#,50

Before Change



			// Clear stack, push value for exception
			if (fact.isValid()) {
				tmpFact = createFact();
				tmpFact.copyFrom(fact);
				tmpFact.clearStack();
				tmpFact.pushValue(ResourceValue.notInstance());
			}

After Change


						if ((lastInSource instanceof IFNULL && edgeType == IFCMP_EDGE) ||
							(lastInSource instanceof IFNONNULL && edgeType == FALL_THROUGH_EDGE)) {
							//System.out.println("**** making resource nonexistent on edge "+edge.getId());
							tmpFact = modifyFrame(fact, tmpFact);
							tmpFact.setStatus(ResourceValueFrame.NONEXISTENT);
						}
					}